home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2006 April / DPPRO0406DVD.ISO / Essentials / Programming / Eclipse SDK / eclipse-SDK-3.1.1-win32.exe / eclipse / plugins / org.eclipse.help.webapp_3.1.0 / advanced / navActions.js < prev    next >
Encoding:
JavaScript  |  2005-09-29  |  1.4 KB  |  50 lines
  1. /*******************************************************************************
  2.  * Copyright (c) 2000, 2004 IBM Corporation and others.
  3.  * All rights reserved. This program and the accompanying materials 
  4.  * are made available under the terms of the Eclipse Public License v1.0
  5.  * which accompanies this distribution, and is available at
  6.  * http://www.eclipse.org/legal/epl-v10.html
  7.  * 
  8.  * Contributors:
  9.  *     IBM Corporation - initial API and implementation
  10.  *******************************************************************************/
  11.  
  12. var isIE = navigator.userAgent.indexOf('MSIE') != -1;
  13.  
  14. function resynchNav(button)
  15. {
  16.     try {
  17.         parent.parent.parent.parent.ContentFrame.ContentToolbarFrame.resynch(button);
  18.     } catch(e){
  19.     }
  20.     if (isIE && button && document.getElementById(button)){
  21.         document.getElementById(button).blur();
  22.     }
  23. }
  24.  
  25. function toggleShowAll(button){
  26.     window.parent.parent.toggleShowAll();
  27.     if (isIE && button && document.getElementById(button)){
  28.         document.getElementById(button).blur();
  29.     }
  30. }
  31.  
  32. function removeBookmark(button){
  33.     try {
  34.         parent.bookmarksViewFrame.removeBookmark();
  35.     } catch(e){
  36.     }
  37.     if (isIE && button && document.getElementById(button)){
  38.         document.getElementById(button).blur();
  39.     }
  40. }
  41.  
  42. function removeAllBookmarks(button){
  43.     try {
  44.         parent.bookmarksViewFrame.removeAllBookmarks();
  45.     } catch(e){
  46.     }
  47.     if (isIE && button && document.getElementById(button)){
  48.         document.getElementById(button).blur();
  49.     }
  50. }